Galois geometry

 ( Finite Geometry ) 

Galois geometry (named after the 19th-century French mathematician Évariste Galois) is the branch of finite geometry that is concerned with algebraic and analytic geometry over a finite field (or Galois field).SpringerLink More narrowly, a Galois geometry may be defined as a projective space over a finite field."Projective spaces over a finite field, otherwise known as Galois geometries, ...",

Objects of study include affine space and projective spaces over finite fields and various structures that are contained in them. In particular, arcs, ovals, , unitals, , , caps, spreads and all finite analogues of structures found in non-finite geometries. defined over finite fields play a significant role, especially in construction methods.

---

Projective spaces over finite fields

---

Notation Although the generic notation of projective geometry is sometimes used, it is more common to denote projective spaces over finite fields by , where is the "geometric" dimension (see below), and is the order of the finite field (or Galois field) , which must be an integer that is a prime or prime power.

The geometric dimension in the above notation refers to the system whereby lines are 1-dimensional, planes are 2-dimensional, points are 0-dimensional, etc. The modifier, sometimes the term projective instead of geometric is used, is necessary since this concept of dimension differs from the concept used for vector spaces (that is, the number of elements in a basis). Normally having two different concepts with the same name does not cause much difficulty in separate areas due to context, but in this subject both vector spaces and projective spaces play important roles and confusion is highly likely. The vector space concept is at times referred to as the algebraic dimension.There are authors who use the term rank for algebraic dimension. Authors that do this frequently just use dimension when discussing geometric dimension.

---

Construction Let denote the vector space of (algebraic) dimension defined over the finite field . The projective space consists of all the positive (algebraic) dimensional vector subspaces of . An alternate way to view the construction is to define the points of as the equivalence classes of the non-zero vectors of under the equivalence relation whereby two vectors are equivalent if one is a scalar multiple of the other. Subspaces are then built up from the points using the definition of linear independence of sets of points.

---

Subspaces A vector subspace of algebraic dimension of is a (projective) subspace of of geometric dimension . The projective subspaces are given common geometric names; points, lines, planes and solids are the 0,1,2 and 3-dimensional subspaces, respectively. The whole space is an -dimensional subspace and an ()-dimensional subspace is called a hyperplane (or prime).

The number of vector subspaces of algebraic dimension in vector space is given by the Gaussian binomial coefficient,

$\backslash left\; \_q\; =\; \backslash frac\{(q^n\; -\; 1)(q^n\; -\; q)\; \backslash cdots\; (q^n\; -\; q^\{d-1\})\}\{(q^d\; -1)(q^d\; -\; q)\; \backslash cdots\; (q^d\; -\; q^\{d-1\})\}.$

Therefore, the number of dimensional projective subspaces in is given by

$\backslash left\; \_q\; =\; \backslash frac\{(q^\{n+1\}\; -\; 1)(q^\{n+1\}\; -\; q)\; \backslash cdots\; (q^\{n+1\}\; -\; q^k)\}\{(q^\{k+1\}\; -1)(q^\{k+1\}\; -\; q)\; \backslash cdots\; (q^\{k+1\}\; -\; q^k)\}.$

Thus, for example, the number of lines ( = 1) in PG(3,2) is

$\backslash left\; \_2\; =\; \backslash frac\{(2^4\; -\; 1)(2^4\; -\; 2)\}\{(2^2\; -1)(2^2\; -\; 2)\}\; =\; \backslash frac\{(15)(14)\}\{(3)(2)\}\; =\; 35.$

It follows that the total number of points ( = 0) of is

$\backslash left\; \_q\; =\; \backslash frac\{(q^\{n+1\}\; -\; 1)\}\{(q\; -1)\}\; =\; q^n\; +\; q^\{n-1\}\; +\; \backslash cdots\; +\; q\; +\; 1.$

This also equals the number of hyperplanes of .

The number of lines through a point of can be calculated to be $q^\{n-1\}\; +\; q^\{n-2\}\; +\; \backslash cdots\; +\; q\; +\; 1$ and this is also the number of hyperplanes through a fixed point.

Let and be subspaces of the Galois geometry . The intersection is a subspace of , but the set theoretic union may not be. The join of these subspaces, denoted by , is the smallest subspace of that contains both and . The dimensions of the join and intersection of these two subspaces are related by the formula,

---

Coordinates With respect to a fixed basis, every vector in is uniquely represented by an ()-tuple of elements of . A projective point is an equivalence class of vectors, so there are many different coordinates (of the vectors) that correspond to the same point. However, these are all related to one another since each is a non-zero scalar multiple of the others. This gives rise to the concept of homogeneous coordinates used to represent the points of a projective space.

---

History Gino Fano was an early writer in the area of Galois geometries. In his article of 1892, on proving the independence of his set of axioms for Projective space, among other things, he considered the consequences of having a fourth harmonic point be equal to its conjugate. This leads to a configuration of seven points and seven lines contained in a finite three-dimensional space with 15 points, 35 lines and 15 planes, in which each line contained only three points. All the planes in this space consist of seven points and seven lines and are now known as . Fano went on to describe Galois geometries of arbitrary dimension and prime orders.

George Conwell gave an early application of Galois geometry in 1910 when he characterized a solution of Kirkman's schoolgirl problem as a partition of sets of skew lines in PG(3,2), the three-dimensional projective geometry over the Galois field GF(2).George M. Conwell (1910) "The 3-space PG(3,2) and its Groups", Annals of Mathematics 11:60–76 Similar to methods of line geometry in space over a field of characteristic 0, Conwell used Plücker coordinates in PG(5,2) and identified the points representing lines in PG(3,2) as those on the Klein quadric.

In 1955 Beniamino Segre characterized the ovals for q odd. Segre's theorem states that in a Galois geometry of odd order (that is, a projective plane defined over a finite field of odd characteristic) every oval is a conic section. This result is often credited with establishing Galois geometries as a significant area of research. At the 1958 International Mathematical Congress Segre presented a survey of results in Galois geometry known up to that time.

---

See also

• Incidence geometry

---

Notes

---

External links

• Galois geometry at Encyclopaedia of Mathematics, SpringerLink

Categories: Finite Geometry, Finite Fields, Algebraic Geometry, Analytic Geometry

Post Comment